● Opérateur propositionnel connecteur qui, à tout groupe de propositions (arguments de l'opérateur), fait correspondre une proposition et une seule. (Presque tous les opérateurs propositionnels sont des connecteurs.)
Encyclopédie Universelle. 2012.
propositionnel — propositionnel, elle [ prɔpozisjɔnɛl ] adj. • 1928; de proposition ♦ Log. Qui est relatif aux propositions de la logique. Logique propositionnelle et logique fonctionnelle. ♢ Math. Calcul propositionnel : branche de la logique mathématique qui… … Encyclopédie Universelle
opérateur — opérateur, trice [ ɔperatɶr, tris ] n. • XIVe « artisan »; lat. operator, trix 1 ♦ Vx Personne qui opère, exécute une action. ⇒ auteur. « opérateur des miracles » (Pascal). 2 ♦ (1561) Vx Personne qui exécute une opération chirurgicale. ⇒… … Encyclopédie Universelle
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
Theorie des modeles — Théorie des modèles La théorie des modèles est une théorie de la vérité mathématique. Elle consiste essentiellement à dire qu’une théorie est mathématiquement valide si on peut définir un univers dans lequel elle est vraie. Sommaire 1… … Wikipédia en Français
Théorie des modèles — Pour les articles homonymes, voir Modèle. La théorie des modèles est une branche de la logique mathématique. Son principe de base est qu’une théorie est mathématiquement valide si on peut définir un univers dans lequel elle est vraie. Sommaire 1… … Wikipédia en Français
Négation (linguistique) — Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose à l’affirmation. Bien… … Wikipédia en Français
Double négation — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Negation (linguistique) — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
Négation linguistique — Négation (linguistique) Pour les articles homonymes, voir négation. En linguistique, la négation (du latin negare, nier)[1] est une opération qui consiste à désigner comme fausse une proposition préalablement exprimée ou non ; elle s’oppose… … Wikipédia en Français
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
